VSpace(void) VSpace(VSpace& v) VSpace& operator=(VSpace& s) void debug_out(ostream& c, int indent)
Standard housekeeping functions.